invariant generator
[计] 不变式产生器
热门查询
- relaxant n. 弛缓药 adj. 放松的，[医] 弛缓的
- upgrade n. 升级；上升；上坡 vt. 使升级；提升；改良品种 adj. 向上的 adv. 往上
- werner n. 维尔纳（男子名）
- Wojciech n. (Wojciech)人名；(波、葡)沃伊切赫
- hasty adj. 轻率的；匆忙的；草率的；懈怠的 n. (Hasty)人名；(英)黑斯蒂 [ 比较级 hastier 最高级 hastiest ]
- self-contained adj. 独立的；设备齐全的；沉默寡言的
- moderne n. 现代风格
- domed adj. 半球形的；有穹顶的 v. 在…上加穹顶；隆起成穹顶状（dome的过去分词）
- drawcord n. 信号绳
- pillared adj. 成柱状的；有柱的 v. 用柱支持；用柱子的形式体现（pillar的过去分词）
- paramilitary n. 准军事部队 adj. 准军事的；辅助军事的
- unconsummated adj. 未实现的；未完成的
- chloe n. 克洛伊（女子名）
- fing abbr. finishing 最后的; 完工的; 结尾; 结束
- lorca n. 洛尔卡（西班牙东南部城市）
- Boddington [人名] [英格兰人姓氏] 博丁顿住所名称，来源于古英语，含义是“Bota之居留地”(settlement of Bota)或“Bota之山”(hill of Bota); [地名] [澳大利亚] 博丁顿
- neediness n. 贫穷
- fille n. （法）少女；女佣；姑娘 n. (Fille)人名；(法)菲耶；(捷)菲莱
- Napoleon n. 刻有拿破仑头像的法国金币；长统靴的一种
- gee n. 马；字母G；一千美元（美俚） n. (Gee)人名；(英)吉 v. 向右转 int. 向右！前进！快！（驾驭马牛等的吆喝声）
